Integrating SCR Requirements into Cleanroom Software Engineering

Abstrac

Towards an energy aware DBMS: energy consumptions of sorting and join algorithms

Database management systems comprise various algorithms for efficiently retrieving and managing data. Typically, algorithm efficiency or performance is correlated with execution speed. However, the uptime of battery powered mobile- and embedded systems strongly depends on the energy consumption of the involved components. This paper reports our results concerning the energy consumption of different implementations of sorting and join algorithms. We demonstrate that high performance algorithms often require more energy than slower ones. Furthermore, we show that dynamically exchanging algorithms at runtime results in a better throughput

Der Baukasten Objektorientierte Software-Entwicklung mit UML : Berufliche Weiterbildung in der Software-Industrie

Der in den vergangenen Jahren erwartete Boom des E-Learning ist nicht so eingetreten wie ursprünglich erhofft. Verschiedene Gründe sind hier, gerade im Bereich der KMUs, für eine Nicht-Annahme des Konzepts E-Learning verantwortlich. Doch ist speziell die Weiterbildung von Fachpersonal und der Auf- und Ausbau von Kompetenz für KMUs ein essenzieller Bestandteil der Sicherung des langfristigen Überlebens. Aus einer Analyse der Gründe für den Fehlschlag des E-Learnings, des pädagogischen Konzepts des hybriden Lernens und typischer Geschäftsmodelle im Aus- und Weiterbildungsbereich wurde am Fraunhofer IESE der modulare Baukasten Objektorientierte Software-Entwicklung mit UML" geschaffen. Ziel des Baukasten ist es, aus einer Bedarfsanalyse heraus maßgeschneiderte, kostengünstige und Nutzen bringende, im Lernerfolg und Wissenstransfer nachhaltige Weiterbildungsangebote für KMUs im Bereich der objektorientierten Software-Entwicklung mittels web-basiertem Training, Präsenzschulung, Tutoring und Coaching zu ermöglichen

Unital Quantum Channels - Convex Structure and Revivals of Birkhoff's Theorem

The set of doubly-stochastic quantum channels and its subset of mixtures of unitaries are investigated. We provide a detailed analysis of their structure together with computable criteria for the separation of the two sets. When applied to O(d)-covariant channels this leads to a complete characterization and reveals a remarkable feature: instances of channels which are not in the convex hull of unitaries can return to it when either taking finitely many copies of them or supplementing with a completely depolarizing channel. In these scenarios this implies that a channel whose noise initially resists any environment-assisted attempt of correction can become perfectly correctable.Comment: 31 page